Improve configuration of makeinfo.
authorWerner Lemberg <wl@gnu.org>
Sun, 23 Jan 2011 10:34:39 +0000 (11:34 +0100)
committerWerner Lemberg <wl@gnu.org>
Sun, 23 Jan 2011 10:34:39 +0000 (11:34 +0100)
commit76960d529d5b98f565ffedbecb14071e46afd89c
tree5eeb4009ae02c21e7a357d4455b86b7b2def3aab
parent6914c1c09f0ed81247b4b75b118458d9a6af15ab
Improve configuration of makeinfo.

* Makefile.in (MAKEINFO): Now controlled by `configure'.
(MAKEINFO_OPTS): New variable.  Use it where appropriate.
(ENVADD): Updated.
doc/emacs/ChangeLog
doc/emacs/Makefile.in